大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Germany 22-28 June 2003 的图书(共3151本)

Numerical Analysis and Its Applications [electronic resource] : Third International Conference, NAA 2004, Rousse, Bulgaria, June 29-July 3, 2004, Revised Selected Papers

0
索取号：
作者：Li、 Zhilin.、Vulkov、 Lubin.、Wa艣niewski、 Jerzy.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Inductive Logic Programming [electronic resource] : 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005. Proceedings

0
索取号：
作者：Kramer、 Stefan.、Pfahringer、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

DNA Computing [electronic resource] : 10th International Workshop on DNA Computing, DNA10, Milan, Italy, June 7-10, 2004, Revised Selected Papers

0
索取号：
作者：Ferretti、 Claudio.、Mauri、 Giancarlo.、Zandron、 Claudio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advanced Encryption Standard-AES [electronic resource] : 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers

0
索取号：
作者：Dobbertin、 Hans.、Rijmen、 Vincent.、Sowa、 Aleksandra.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Membrane Computing [electronic resource] : 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers

0
索取号：
作者：Mauri、 Giancarlo.、P膬un、 Gheorghe.、P茅rez-Jim茅nez、 Mario J.、Rozenberg、 Grzegorz.、Salomaa、 Arto.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Security Protocols [electronic resource] : 11th International Workshop, Cambridge, UK, April 2-4, 2003, Revised Selected Papers

0
索取号：
作者：Christianson、 Bruce.、Crispo、 Bruno.、Malcolm、 James A.、Roe、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings

0
索取号：
作者：Beckert、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Model Driven Architecture [electronic resource] : European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Link枚ping, Sweden, June 10-11, 2004. Revised Selected Papers

0
索取号：
作者：A脽mann、 Uwe.、Aksit、 Mehmet.、Rensink、 Arend.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

KI 2005: Advances in Artificial Intelligence [electronic resource] : 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005. Proceedings

0
索取号：
作者：Furbach、 Ulrich.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

System Analysis and Modeling [electronic resource] : 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers

0
索取号：
作者：Amyot、 Daniel.、Williams、 Alan W.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Job Scheduling Strategies for Parallel Processing [electronic resource] : 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004. Revised Selected Papers

0
索取号：
作者：Feitelson、 Dror G.、Rudolph、 Larry.、Schwiegelshohn、 Uwe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Computational Science and High Performance Computing II [electronic resource] : The 2nd Russian-German Advanced Research Workshop, Stuttgart, Germany, March 14 to 16, 2005

0
索取号：
作者：Krause、 Egon.、Shokin、 Yurii.、Resch、 Michael.、Shokina、 Nina.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computational Life Sciences [electronic resource] : First International Symposium, CompLife 2005, Konstanz, Germany, September 25-27, 2005. Proceedings

0
索取号：
作者：R. Berthold、 Michael.、Glen、 Robert C.、Diederichs、 Kay.、Kohlbacher、 Oliver.、Fischer、 Ingrid.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Theory and Applications of Satisfiability Testing [electronic resource] : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings

0
索取号：
作者：Bacchus、 Fahiem.、Walsh、 Toby.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach [electronic resource] : First International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Proceedings, Part II

0
索取号：
作者：Mira、 Jos茅.、脕lvarez、 Jos茅 R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Mechanisms, Symbols, and Models Underlying Cognition [electronic resource] : First International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Proceedings, Part I

0
索取号：
作者：Mira、 Jos茅.、脕lvarez、 Jos茅 R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.